#ifndef RTW_HEADER_binsearch_u32u8_h_
#define RTW_HEADER_binsearch_u32u8_h_
#include "rtwtypes.h"

extern uint32_T binsearch_u32u8(uint8_T u, const uint8_T bp[], uint32_T
  startIndex, uint32_T maxIndex);

#endif

